finitely additive set function

有限加性集函数